Tsundere Chen says to YSITD https://svn.cprover.org/wiki/lib/exe/fetch.php?media=tutorial-slides1.pdf