Safari Playback Issue: There currently an issue with video playback in Safari. The cause has been identified, and a fix is currently in development. In the meantime, please use an alternative browser such as Firefox or Chrome.
A video on proof rules for wedge in, double negation, and double arrows. NOTE: if you're using captions, there is a possibility that the software may be displaying double arrows in the captions as single arrows. I wrote [double arrow] in the captions to indicate whenever there was a double arrow.