Talk as of ISSAC presentation
Typo fixes, thanks to Erich!