I appreciate your assistance as well. I found one of your
questions about X3DH, HMQV, and OPAQUE, @SEJPM. A few days ago I was wondering "What's the benefit to HMQV that triple DH doesn't provide? And why did it take so long to 'discover' triple DH?"