A Formal Introduction (o2a)