11:23 Exchange Argument-Proof of Correctness for Total Weighted Time to Completion Tim Kearns 5.7K views - 7 years ago