Interface TruthMaintenanceSystemActivation<T extends ModedAssertion<T>>