extensional model