+Defintions and theorems in Computer Science
Removing temporary files (with ~)