We don't need to be explicit about the failcase