p : KJ B rfl 3 o m erf rf?