Slide on CLOS boostrapping and metastability issues.
Slide on call history and discriminating function as an automaton.