make use of the extensionality axiom