diff --git a/src/server/Paxos.java b/src/server/Paxos.java
index 6186cf76a9a917065374f1c7af6ff58cc6d5c914..49dbffea8d471334f18af7ed7e2710b6e01cf2da 100644
--- a/src/server/Paxos.java
+++ b/src/server/Paxos.java
@@ -10,6 +10,7 @@ import org.json.simple.parser.JSONParser;
 public class Paxos 
 {
 	DatagramSocket clientSocket;
+	private int n; // number of request
 
 	public void sendRequest(String sentence, String host, int port)
 	{
@@ -22,4 +23,36 @@ public class Paxos
 		clientSocket.send(sendPacket);
 	}
 
+	public boolean IsUnique(){
+		// check the uniqueness of ID
+	}
+
+	public void SortRole(){
+		// assign and sort role
+	}
+
+	public void Propose(){
+		// prepare
+	}
+
+	public void Agree(){
+
+	}
+
+	public void Commit(){
+
+	}
+
+	public void Accept(){
+
+	}
+
+	public void Reject(){
+
+	}
+
+	public boolean Fail(){
+
+	}
+
 }
\ No newline at end of file
diff --git a/src/server/Server.java b/src/server/Server.java
index 105a96ebe5007837168d46d9bbaa88664ffb3652..f18849ac1e9ee2f4c0dd1eed2d670593a7a1bb52 100644
--- a/src/server/Server.java
+++ b/src/server/Server.java
@@ -12,6 +12,7 @@ import org.json.parser.JSONParser;
 
 public class Server implements Runnable
 {
+	private Paxos paxos;
 	private String host;
     private int port;
     private Socket socket;
@@ -103,6 +104,4 @@ public class Server implements Runnable
 		}
 	}
 
-	
-
 }
\ No newline at end of file