Oops SPAKE2+ is augmented, need to look at this part again