continue on abstracting out rings