extensional definitions