This almost reminds me of Z which I studied at Uni in 1999. It was kind of cool, and I enjoyed predicate logic.<p>Now I look at it and think, WTF!<p>Since I've never had to use this stuff for real, it would be fascinating to know what people use it for day to day?