Nested Implication

In reply to ben@SystemVerilog.us:

Got it! Thanks, Ben!