Proportion can be used to make animations. This is mostly a JavaScript trick:
set up a routine to draw, and tell JavaScript to call it over and over. Use a global variable to
keep track of the frame number, and use the frame number to change what is drawn.