Question about case exhaust