finished 01_equalities