Automated reasoning group

On tuesday I'm giving another talk at the Automated Reasoning
Group's lunch talk series....