Logic is hard.