On Thursday 08 December 2011, 07:14:39, Brent Yorgey wrote: > I, for one, am not > willing to give up these beautiful and powerful reasoning tools just > for a little gain in expressivity. > > -Brent Seconded, Daniel