introduce abcd.cases