x → p?