Small change to implication writeup, started an animate.py for making
graphics.