p([a | b).