Removed obsolete formalize images