Fixed the exponentation signs in PTIME