\chapter*{Preface}

This document lists most of the objects defined and propositions
proven in the Egal theory of Proofgold (using Megalodon)
as of February 2021.
When relevant, corresponding 256-bit identifiers and 162-bit addresses are given for objects and propositions so that users can find them in the Proofgold blockchain.
The objects and propositions here are those distributed with Megalodon in the file {\tt{PfgEFeb2021Preamble.mgs}}.

The document is a draft and much of it was automatically generated (using the -latex option in Megalodon), so please overlook any formatting problems.

