Syntactic consistency cannot be equivalent to satisfiability when 'satisfiability' picks out differe...