On 12/04/2011 12:09 AM, David Nadlinger wrote: > Famous last words: > > On 12/3/11 11:47 PM, Timon Gehr wrote: >> There is nothing wrong with is(XXX), […] > > David An explanation would be more helpful.