Remove cases-3-and-4

Superseded by case-3 and case-4.