Unit Four: Formal Analysis