szany·vor 11 Jahren·discussSee also Bob Harper's blog for a more leisurely exposition:https://existentialtype.wordpress.com/2011/03/27/the-holy-tr...