Proof behavior #81

Closed shindavid closed 11 months ago