@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!
@runiggyrun thanks for the advice, I will implement Pacifico's system with 4 copies. I am really supersized how fast I got a response (less than an hour)