Enviar por SMS: Characterization of strong normalizability for a sequent lambda calculus with co-control