IMO it's still a good idea, because creating a `CondExp` is a roundabout way to do it.