Ptet reasoning