Completely new p4, new results, new text