What is this part? Isn't it just by assumption? (also, by secret key, I'm guessing you mean 'a', 'b')