def __init__(self, trusted_basis):
'''Initializes the IntegrityManager with a trusted basis.
'''
self.trusted_basis = trusted_basis
self.proofmanager = ProofManager(False)
self.logger = logging.getLogger("FR." + self.__class__.__name__)
