Rename cohen.txt to cohen.c