If I understand correctly, we're not explicitly failing here even if we know that we may fail later. It may be useful to fail early in order to catch potential unexpected behaviours.