<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">The (R) in the following formula should obviously be an arrow: “(x)(y)(xRy <span style="font-family: Symbol; "><span>®</span></span> there is a z such that xRz & zRy).” <div>Bruce</div></body></html><tt><br>
</tt>