O OJ C « p ~p