A definition that yields extensionality only by collapsing intensional differences between propertie...