Conflating syntactic unprovability with semantic model-theoretic multiplicity commits a use-mention ...