The file on Devlin