Todo formalize