# Heavy Metals - Metals Deep Dive

In this section we will cover the technical and mathematical details behind
the `metals`

modeling framework.

We will start by discussing *interfaces* as a means to specify observable
behaviors of a system. By combining some elegant mathematics and proven
program modeling concepts, we will extend them to represent *states*, finally
arriving at a unified modeling framework for composing complex systems from
simpler ones.

Metals turn interfaces into models that can *talk and run* at
the same time, talks as in its ability to communicate clearly about the
systems they represent and run as in they are executable.

Copyright 2022 Weavers @ Eternal Loom. All rights reserved.