Added: rings upto homomorphism