Condition and error verification