— Operator: operator proof::int (void) const;

This returns true (or 1) if the touch is true.

— Operator: int proof::operator! (void) const;

This returns true (or 1) if the touch is not true.