不合式的

ill-formed