Ptet reasoning class