Add complement function
Add failing test for theorist
Conjecturing starts to work
Rename theorize to conjecture