fixed precondition validations