Entity identity can be intrinsic. Why not consistency contracts?