def p_notin_q(p, q): return project(p, lambda k: q.get(k, 0) == 0)
def p_in_q(p, q): return project(p, lambda k: q.get(k, 0) != 0)