Structural parallelism between a semantic constraint and a syntactic theorem does not constitute ant...