Reasoning in Mathematics CP