[WSRI26] Non-Projectional Rigidity in Finite-Axiom Theorem Spaces, and the System-135 Phenomenon