Adding facts about Rings