Architectural Axiom/Statement Re-Writes