Fixed precondition