Dos – Formal Introduction