Extensional_and_intensional_definitions