class ProofSystem:
    def __init__(self): pass