@JoeyPotato - there's a note in pink below the video that clarifies that the biconditional notation in the video is a mistake - I didn't notice that until now.
Nice catch!
I think your notation style becomes very important for ... , watch Nicoles webinar on RC notation for some really excellent tips ... I achieve that through my notation system.
@runiggyrun your notation is much more visual than mine I should have put down the G and H with an arrow. Thanks for advice, noticing the key player first should be my priority over some deep inference.