3 ms·

I think empath75 is right to point to dualities. I don't think proof-by-contradiction is really analogous to side-channels.