def p_notin_q(p, q):
    return project(p, lambda k: q.get(k, 0) == 0)
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)
def p_in_q(p, q):
	return project(p, lambda k: q.get(k, 0) != 0)