Thanks, I re-submitted to HN to specify "Mixed Boolean Arithmetic Expressions" in the title