David Nadlinger Sat, 03 Dec 2011 15:10:42 -0800
Famous last words: On 12/3/11 11:47 PM, Timon Gehr wrote:
There is nothing wrong with is(XXX), […]
David