How obvious is logic, really?