Extensional_and_intensional_definitions loading ...