add new theory: Files and Directories