formalize a bit