!  1`b p2 ?3
    p`p