Added Proof data type.