bypass postcondition relaxed