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