formalize