addedd exact cardinality axiom
addedd exact cardinality axiom