I have a suggestion after reviewing the lesson multiple times over more than a 6 month period. I was confused with this technique because for me initially I looked at the first step as creating the conjunct. I broke it down like this, and using CC on the video helped me as well, to understand. (1) Write the Rule, (2) Apply the translation rule, (3) Take the inside sufficient condition from the embedded condition and create a conjunction with the outside necessary condition. I, also would like to make the recommendation on the review slide to label ( Embedded Sufficient Condition, Embedded Necessary Condition, and Outside Necessary Condition). When looking at the review slide I did not at first know what to distinguish, until I caught myself reviewing the lessons multiple times and using CC, to see what I was missing. For, me as I have used 7 sage just watching the video without CC has caused me to miss things. I hope this is helpful.