A Formal Introduction (Part 1)

a