tag:blogger.com,1999:blog-250526052023-11-15T06:02:13.446-08:00Branching QuantifierGavin Mendel-Gleasonhttp://www.blogger.com/profile/14899896537888421449noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-25052605.post-8815406373321719332006-12-04T05:41:00.001-08:002006-12-04T05:41:47.098-08:00This is a postGavin Mendel-Gleasonhttp://www.blogger.com/profile/14899896537888421449noreply@blogger.com1