Gerard Holzmann took the true and false commands as the jumping-off point for "Code Inflation", an installment of his "Reliable Code" blog and column in IEE Software. An informative, but depressing, read: http://spinroot.com/gerard/pdf/Code_Inflation.pdf Doug