Axiom of Abstraction/Examples