Terminology
main()
node
v0
Consensus
state
types
state