PTET Reasoning