P4 solved