What is logic.