BK-model-Plane is satisfying_SegmentConstruction by Th64;