Cryptalk: SAT/Quickcheck