This is the file 'tau'.