> formal languages exist; as [...] a system for turning bullshit into parse errors

that's a very neat way to put it!