diff --git a/MILESTONES.md b/MILESTONES.md
index 2559256..c9fc182 100644
--- a/MILESTONES.md
+++ b/MILESTONES.md
@@ -30,7 +30,7 @@ project:
     - Project blog created
     - Software Bill of Materials
 
- 2. ✓ Capability theory
+ 2. ✓✓ Capability theory
     - Description of Dataspace interaction model augmented with
       “data-capabilities” authorizing interaction within a dataspace
 
@@ -38,19 +38,19 @@ project:
     - Dataspace implementation for dataspace-based Rust programming
     - Implementation of Dataspace protocol in Rust
 
- 4. ✓ Smalltalk Dataspace infrastructure
+ 4. ✓✓ Smalltalk Dataspace infrastructure
     - Dataspace implementation for dataspace-based Squeak Smalltalk programming
     - Implementation of Dataspace protocol in Smalltalk
 
  5. ✓✓ Demo of capability-secure Dataspace interaction
 
- 6. ✓ PostmarketOS (pmOS) infrastructure
+ 6. ✓✓ PostmarketOS (pmOS) infrastructure
     - pmOS booting on cellphone to modified environment
     - Scripts for packaging of on-phone artifacts
 
  7. Demo exercising phone infrastructure
 
- 8. ✓ Dataspace Protocol specification
+ 8. ✓✓ Dataspace Protocol specification
     - Draft specification of interaction protocols for secure
       inter-process and inter-machine dataspace interaction