Kendiukhov
diff --git a/‎…asks/completed: definitional_equality.md‎ ‎…tasks/completed_definitional_equality.md‎agents/tasks/completed: definitional_equality.md renamed to agents/tasks/completed_definitional_equality.md b/‎…asks/completed: definitional_equality.md‎ ‎…tasks/completed_definitional_equality.md‎agents/tasks/completed: definitional_equality.md renamed to agents/tasks/completed_definitional_equality.md
diff --git a/‎…s/tasks/completed: impredicative_loop.md‎ ‎…ts/tasks/completed_impredicative_loop.md‎agents/tasks/completed: impredicative_loop.md renamed to agents/tasks/completed_impredicative_loop.md b/‎…s/tasks/completed: impredicative_loop.md‎ ‎…ts/tasks/completed_impredicative_loop.md‎agents/tasks/completed: impredicative_loop.md renamed to agents/tasks/completed_impredicative_loop.md