The file /education/kard/TODO does not exist.