Wit A $ (Explicit)

A Formal Introduction (Explicit)