<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><blockquote type="cite"><div><font class="Apple-style-span" color="#000000"><br></font>In the translation to ZF which Andy and I am developing, such "strange proofs" actually caused some weird problems at some point. </div></blockquote><div><br></div><div>This sounds interesting :-) Is there more information on this translation available?</div><div><br></div><div>Best,</div><div><br></div><div>Steven</div><div><br></div><div>PS: For those of you who a) speak German b) play Skat c) have an iPhone / iPod touch:</div><div><a href="http://74.207.244.176/pubstatic/onlineskat">http://74.207.244.176/pubstatic/onlineskat</a></div><div><br></div><div><br></div></div></body></html>