Tennent's Correspondence Principle and Returning from a Closure (2006) | Hacker News Reader