Is English countable? Depends what machine you run it on. (Shortest real-world argument ever for justifying formal linguistics.)
Also just found a counterexample to a lemma I was trying to prove last night (sublanguage by subgrammar is clearly not invariant under choice of grammar, I now see). Good morning!