setup functions for Tymoczko demo
completed commit