Agreed, but the distinction you draw between kex and keys doesn't exist on the slide, which was my point. I could have worded that better. The slide I referre

Agreed, but the distinction you draw between kex and keys doesn't exist on the slide, which was my point. I could have worded that better. The slide I referred to mentioned the instantiations, not all of which provide pfs.