introduce a-b.cases