Add the first two mu calculus formulas of the requirements