cases as arguments of a case