What Should Have Happened at the Big Tech Antitrust Hearing (August 2020)