The (R) in the following formula should obviously be an arrow: “(x)(y)(xRy ® there is a z such that xRz & zRy).” Bruce -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://rbjones.com/pipermail/hist-analytic_rbjones.com/attachments/20100106/4f120162/attachment.html>