BK-model-Plane is satisfying_BetweennessIdentity