proof property

Proof? proof
read / write

Implementation

Proof? proof;