History Analysis / PropositionPlayer

http://tvtropes.org/pmwiki/article_history.php?article=Analysis.PropositionPlayer