Did you know that the Williamson trade-off model , which compares costs and benefits of horizontal mergers , has been used by the American legal scholar and former judge , Robert Bork , to evaluate antitrust laws ?