Def/Quotient ring 1