logic is for reasoning.