' p:A&cv^EA[dA&cv^EA[d2 B