Explore proving GIFs