Assertion: commitment | /r/HasProperty | unlikely
Facets:
Source sentences:
text: Hence, when the commitment is opened during protocol execution, it is unlikely that F will open to m, unless S can extract m from the messages it received from the environment before R outputs the receipt.