Maybe also add a check that ensures the first part is `p`