Try
cases em (∃ bob : camper, ¬ singing bob) with hyes hno, { cases hyes with bob key, sorry, }, { sorry, }
Need more hints?