I hope that they once and for all rule that marriage isn't a federal matter and nullify all federal marriage rules - including those promulgated by the IRS.