fill 01_equalities.clj