Sequent-recovery work
note on App in ILL