Logic is hard!