diff --git a/p6.md b/p6.md
index e051349eb36bdb60490924db3f29ba83763a1789..97144fc11a30b29a7fadbf0f5d0256248320cec9 100644
--- a/p6.md
+++ b/p6.md
@@ -159,6 +159,16 @@ only by `Apply()` calls. These calls are immediate for
 non-transactional updates, but *calls for transactional updates are
 delayed until a transaction is known to have committed*.
 
+## Details
+- Start/finish transaction commands should have *oids* matching their *tids*.
+- Distinct transactions should have distinct *tids*.
+- KV and transaction objects should have *oids* should be greater than 0, and of
+  course should be unique across the space of all KV objects and
+  transactions.
+- The leader election record will have *oid* 0. It should be treated
+  the same as any other record by the tango runtime, but will never be
+  the cause of an `apply()` upcall since there are no KV objects w/
+  *oid* 0.
 
 ## Something Else
 Build some other distributed data type on tango. Or do something else cool w/ Raft.