. "If P is a reference type, P is replaced by the type" . . .