correctness property

String correctness
getter/setter pair

The correctness of the interaction as a String

Implementation

String correctness;