4. Model Construction

In this section, you will learn how to construct a formal model with Momba.