https://people.computing.clemson.edu/~vbz/cs230papers/martinez_boolean.pdf - link from README doesn't work.