Some excellent progress attacking this perennial nebulous problem at the crossroads of labelled deduction, focusing, and highly general substructural logics. To the general cslounge community: much sympathy in this time of sad news.