Ugh ... someone snuck a math class into my programming class today. Its all set theory and lambda calculus.