docs: def get_proof(self):
          """
              Get a proof produced when deciding the formula.
          """
  
          if self.glucose and self.prfile:
              self.prfile.seek(0)
              return [line.rstrip() for line in self.prfile.readlines()]