Please enable JavaScript to experience Vimeo in all of its glory.
from Alexander Varga
Using my graphical proof assistant to interactively reduce a simple term