From Haoran Peng
In this video we look at the next simplest example, chains of implications between atoms. We introduce the arrow rule.