Inconsistent preconds