starguard Unluckiest Charm in the Box Sep 6, 2006 #1 http://www.dcs.qmul.ac.uk/research/logic/theory/projects/smallfoot/index.html :huh: