Logical_functor loading ...