def case