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