Renamed back to cifrpaper.tex