Case_definitions