Verifier complains about inconsistent property.