Kim announces that (by a tedious proof) the upper bound can be reduced to 10.
We use upper case letters to represent inverses of generators. [= capital letters]
an upper semicontinuous function