p ^ 2:r- rfl