Signalizer_functor_theorem loading ...