> `match` patterns is a superset of the SAT problem. 

Is not a sentence I wanted to read, but a sentence I, perhaps, deserved.