logics_manager
