Case expressions must have an explicit else branch