Completed 01: equalities