four text files
added proof