I agree that you're right in strict logic sense, but the statement that everything has bugs is already tongue-in-cheek. Anyway, what I really meant was that ev

I agree that you're right in strict logic sense, but the statement that everything has bugs is already tongue-in-cheek. Anyway, what I really meant was that every language has semantic limitations that can manifest as patterns which the users have to apply. Even Lisp (static type checking) or Haskell (dependent types).