Consistent Math Def