Prefer case over (condp = x ...