Ben's lecture today will be on using logical relations in proofs, what properties they help prove, what properties they don't help prove, and how the technique can be extended to handle some of those properties. We meet at noon in WVH 366. --- Justin Slepak PhD student, Computer Science dept.