01_equalities complete