Pretty-printed P, R, F and performed the TO experiment