then , § 1512 -LRB- b -RRB- -LRB- 2 -RRB- -LRB- A -RRB- cuts against the Court 's interpretation of the Omnibus Clause because it shows that Congress knows how to impose a `` proceeding '' requirement when it wants to do so