4 ms·

Is the protocol described in Aaronson's algorithm actually sound? I can't seem to make sense of it myself. An example sequence would help.