Added more definitions in rings