Check out my first novel, midnight's simulacra!

Church-Rosser Theorem