This almost reminds me of Z which I studied at Uni in 1999. It was kind of cool, and I enjoyed predicate logic. Now I look at it and think, WTF! Since I've ne

This almost reminds me of Z which I studied at Uni in 1999. It was kind of cool, and I enjoyed predicate logic. Now I look at it and think, WTF! 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?