"in the case where" -> "if the"