Correct typo, minor rewording

Author: ChrisWhealy

README.md

@@ -1,10 +1,10 @@
 # Distributed Systems
 
-Lecture notes for course [CSE138, Spring 2020](http://composition.al/CSE138-2020-03/index.html) given by [Prof Lindsey Kuper](https://users.soe.ucsc.edu/~lkuper/), Assistant Professor of Computing as UCSC
+Lecture notes for course [CSE138, Spring 2020](http://composition.al/CSE138-2020-03/index.html) given by [Prof Lindsey Kuper](https://users.soe.ucsc.edu/~lkuper/), Assistant Professor of Computing at UCSC
 
 Due to the Covid-19 lockdown being enforced at the time, these lectures had to be delivered online and are available on [YouTube](https://www.youtube.com/user/lindseykuper/videos) and [Twitch](https://www.twitch.tv/lindseykuper/videos)
 
-This series of lectures also includes a discussion panel with recent grad students and two guest lectures.  Notes have not been created for any of these videos; however, you can watch them here:
+This series of lectures also includes a discussion panel with recent grad students and two guest lecturers.  Notes have not been created for these events; however, you can watch the videos here:
 
 * ["Grad Student Discussion Panel"](https://www.youtube.com/watch?v=ArKapXZkJvM) Lindsey Kuper talks with Emma Gomish, Pete Wilcox and Lawrence Lawson. May 15<sup>th</sup>, 2020
 * ["Blockchain Consensus"](https://www.youtube.com/watch?v=m6qZY7_ingY) by Chris Colohan, May 27<sup>th</sup>, 2020
@@ -14,11 +14,11 @@ This series of lectures also includes a discussion panel with recent grad studen
 |---|---|---|
 | Lecture 1 | There are no notes for this lecture as it was concerned with course administration and logistics  |
 | [Lecture 2](./Lecture%202.md)<br>April&nbsp;1<sup>st</sup>,&nbsp;2020 | Distributed Systems: What and why?<br>Time and clocks |
-| [Lecture 3](./Lecture%203.md)<br>April&nbsp;3<sup>rd</sup>,&nbsp;2020| Lamport diagrams<br>Causality and happens-before<br>Network models<br>State and events<br>Partial orders
-| [Lecture 4](./Lecture%204.md)<br>April&nbsp;6<sup>th</sup>,&nbsp;2020 | Total orders and Lamport clocks | Partial orders<br>Happens-before
-| [Lecture 5](./Lecture%205.md)<br>April&nbsp;8<sup>th</sup>,&nbsp;2020 | Vector clocks<br>Protocol runs and anomalies<br>Delivery vs. Receiving<br>FIFO delivery | Lamport Clocks
-| [Lecture 6](./Lecture%206.md)<br>April&nbsp;10<sup>th</sup>,&nbsp;2020 | Causal delivery<br>Totally-ordered delivery<br>Implementing FIFO delivery<br>Preview of implementing causal broadcast | Delivery vs. receiving<br>FIFO delivery
-| [Lecture 7](./Lecture%207.md)<br>April&nbsp;13<sup>th</sup>,&nbsp;2020 | Implementing causal broadcast<br>Uses of causality in distributed systems<br>Consistent snapshots<br>Preview of Chandy-Lamport snapshot algorithm | Causal anomalies and vector clocks
+| [Lecture 3](./Lecture%203.md)<br>April&nbsp;3<sup>rd</sup>,&nbsp;2020| Lamport diagrams<br>Causality and the "happens before" relation<br>Network models<br>State and events<br>Partial orders
+| [Lecture 4](./Lecture%204.md)<br>April&nbsp;6<sup>th</sup>,&nbsp;2020 | Total orders and Lamport clocks | Partial orders<br>Happens before relation
+| [Lecture 5](./Lecture%205.md)<br>April&nbsp;8<sup>th</sup>,&nbsp;2020 | Vector clocks<br>Protocol runs and anomalies<br>Message Delivery vs. Message Receipt<br>FIFO delivery | Lamport Clocks
+| [Lecture 6](./Lecture%206.md)<br>April&nbsp;10<sup>th</sup>,&nbsp;2020 | Causal delivery<br>Totally-ordered delivery<br>Implementing FIFO delivery<br>Preview of implementing causal broadcast | Delivery vs. Receipt<br>FIFO delivery
+| [Lecture 7](./Lecture%207.md)<br>April&nbsp;13<sup>th</sup>,&nbsp;2020 | Implementing causal broadcast<br>Uses of causality in distributed systems<br>Consistent snapshots<br>Preview of the Chandy-Lamport snapshot algorithm | Causal anomalies and vector clocks
 | [Lecture 8](./Lecture%208.md)<br>April&nbsp;15<sup>th</sup>,&nbsp;2020 | Chandy-Lamport Snapshot Algorithm |
 | [Lecture 9](./Lecture%209.md)<br>April&nbsp;17<sup>th</sup>,&nbsp;2020 | Chandy-Lamport wrap-up: limitations, assumptions and properties<br>Uses of snapshots<br>Centralized vs. decentralized algorithms<br>Safety and liveness | Delivery guarantees and protocols
 | [Lecture 10](./Lecture%2010.md)<br>April&nbsp;20<sup>th</sup>,&nbsp;2020 | Reliable delivery<br>Fault classification and fault models<br>The Two Generals problem | Safety and liveness