(p*′∪`q)