diff --git a/README.md b/README.md
index d873632..67e23b1 100644
--- a/README.md
+++ b/README.md
@@ -119,11 +119,16 @@ The server will answer with one of the following:
 
 # Properties
 
-!!! TODO !!!
+- If a game exists then there was a process that create it.
+- Eventually all processes would will be in the same game state
+- A player can not make a move in a game state that is not the last
+- If two players make a move at the same time for the same game only one of the moves happens and the other player eventually gets notified
 
 # Assumptions
 
-!!! TODO !!!
+- Processes won't be behave in a byzantine way
+- Only a minority of processes can fail
+- Will be run in a partial synchronous system
 
 # Usage instructions