Part 2 - Formal Requirements