complete 01_equalities.clj