diff --git a/p6.md b/p6.md index 97144fc11a30b29a7fadbf0f5d0256248320cec9..88d89143779cf3a74bbe13431b2a21b2eee7028e 100644 --- a/p6.md +++ b/p6.md @@ -124,7 +124,7 @@ the following implications: - "READ": calls `QueryHelper()`, and then returns the current value. - "SLEEP": sleeps an integer number of seconds. - All others are strings that should be copied verbatim to the oid as - new values for the associate object. + new values for the associated object. All transactional fates are determined independently, but deterministically, by each tango library. Recall (from the paper),