introduce a.cases