Logic is hard