I deleted a.txt