Amen!

Thine Church sits alongside "The Church of Edsger Dijkstra" and his Predicate Calculus and Program Semantics is its bible.

Syntax is but mere "ashes and dust" while Semantics are "eternal"!

And brother; hast thou forgotten "The Church of Logic Programming"?

Ruled over by its venerated Pope, Robert Kowalski, who verily laid out its commandments in Predicate Logic as Programming Language and gaveth also the text espousing its central dictum, Algorithm = Logic + Control.

Thine faith must needs be strengthened ;-)