A Formalism for Case Systems