[PPT] - Towards Reasoning in the presence of code of unknown provenance - PowerPoint Presentation