While the syntactic method requires disregarding interpretations, a fixed interpretation implicitly ...