adding formalize to the extension list