Complete 01_equalities