Internal Revenue Service lawsuit