Extensively Formalized and Enriched the gifs.