Slides for talk about Refinement Reflection and Proof by Logical Evaluation - View it on GitHub