Where does `p` come from?