elaboratable cases