The argument conflates syntactic polynomial-time constructibility of G_φ with a semantic guarantee t...