#ifndef __PROOF_HPP
#define __PROOF_HPP

#include <string>

typedef std::string Proof;

#endif