Closed samdark closed 7 years ago
I'll change name to "Message correctness" (because of #9)
Duplicates #9