p(?x) | p(a)

