Might be transitioning to quotient rings soon. Based on how much work the subrings research took, the quotient rings part is probably going to be pretty involved too!