We shall address the comments raised during the internal walkthrough of the Praos specification, specifically:

• Place the transaction list field as the last one in the definition of the block body
• Use sets instead of lists in the definition of the collection of chains received during a slot
• Make the selection of the best chain arbitrary in the case of multiple candidate chains