added formalize + images for forlamize