Ptet reasoning classes