This is the file 'psi'.