In this section, we describe some of the details of how FUSD is implemented. It's not necessary to understand these details in order to use FUSD. However, these notes can be useful for people who are trying to understand the FUSD framework itself--hackers, debuggers, or the generally curious.