Proof
data class Proof
ProofItem
data class ProofItem
ProofItemDirection
enum class ProofItemDirection