Axiom:Abstraction Principle