, | P^mSTT | Pttprops.