p(⁷)