Searching protocol for "involution"
Coordinate self-reference with frame-invariant involution.
Find library lemmas for proofs