A Formal Introduction (Part 2)

x