added images to ta3m presentation and improved formatting.