Seriously, what is logic?