'Modify and return the proof string
:param proof_string: str the proof to decorate
:param simplify: bool simplify the proof?
:return: str'

def decorate_proof(self, proof_string, simplify=True):

    return proof_string
