be a pair of mutually normal rects intersecting at

, or be a rect and point-track intersecting at

[either

or

being the rect] and mutually normal, and let