subrings
not defined yet