Given any such action a, call (k,k′) the signature of aa if k and −k are the lim sup and lim inf of all utility changes caused by a.
I assume you mean that k′ is the liminf?
I assume you mean that k′ is the liminf?