Fix - P_s is a group element.