Completed 01_equalities