An entity whose identity and behavior are fully determined by axiomatic constraints is functionally ...