Comment by kvisner

I agree, but that formal language doesn't need to be executable code.