Tighten syntactic constraint