From d32e353c5a3f20ed2a2972aa34caabe3af8f1679 Mon Sep 17 00:00:00 2001
From: mjalalzai <33738574+MForensic@users.noreply.github.com>
Date: Sun, 10 Sep 2023 19:57:43 -0700
Subject: [PATCH] Update spec.md

---
 carnot/spec.md | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/carnot/spec.md b/carnot/spec.md
index 01d08fb..2985600 100644
--- a/carnot/spec.md
+++ b/carnot/spec.md
@@ -49,20 +49,15 @@ As for ordering between events, there are some constraints (e.g. can't process a
 
 # Alias Data Types:
 ## Id: TypeAlias = bytes
-### Explanation:
 Id is an alias data type representing an identifier, which is essentially a sequence of bytes. It is used to uniquely identify various entities within the protocol. This includes node identity and block Id or block hash.
 ## View: TypeAlias = int
-### Explanation: 
 View is an alias data type representing a view, which is a monotonically increasing integer. Views are used to represent different phases or stages within the protocol. It is also called round.
 ## Committee: TypeAlias = Set[Id]
-### Explanation:
 A committee is an alias data type representing a set of Id values. It is used to define a committee, which is a group of participants in the protocol.
 ## Qc: TypeAlias = StandardQc | AggregateQc
-### Explanation:
 Qc is an alias data type representing a quorum certificate. It can either be a StandardQc or an AggregateQc, depending on the context. Quorum certificates are used to denote agreement on certain protocol-related actions. AggregateQc is a set of StandardQcs collected during a specific view after failure. 
 ## Payload: 
 TypeAlias = Block | Vote | Timeout | NewView | TimeoutQc
-## Explanation:
 Payload is an alias data type representing the payload of messages exchanged within the protocol. It can be one of several types, including Block, Vote, Timeout, NewView, or TimeoutQc, each serving a specific purpose in the protocol.
 
 ## Messages