Fixed precondition statements