Another point worth noting is that the usual lambda calculus representations of false and zero are equivalent. (However true is not the same as one.) Tony. -- f.a.n.finch <dot at dotat.at> http://dotat.at/ MALIN: EAST OR SOUTHEAST 4 OR 5. MODERATE. FAIR. MODERATE OR GOOD.