The Mathematician Says: "=/="? I'm not aware of a division operation on equivalence relations.

Law =/= programming. :-)

Yeah, and that's part of what's wrong with it; legislatures never get around to debugging their code until it hits the courts.

I suppose this isn't reason enough to vote against it, though.