Text this: Taxation of certain dispositions of property made pursuant to orders enforcing antitrust laws.