Made the description more explicit

X(aP) can be sent with the identity or with H(X(bP) || X(abP)). I changed this since the code has it with H(X(bP) || X(abP)). Note either way it should be secure, it's just one less "step function" in my code this way.