Formalize @--box.