p : p ; QfQ^3