[Yoric]

I'd have to disagree. We're much less ambiguous than math.

In fact, according to theory, we're writing executable proofs.