It very much is. But it's a non-deterministic, more-lossy-than-usual abstraction: english to code.