Consider flipping the membership equation.