Authored lecture exposition. Theorem14 states that the image of the first fixed point above the critical point does not belong to the transitive target; Theorem12 recalls omega-Jónsson functions.