This is the file 'mu'.