III. The fixed point class functor