change code so that it can prove a fof-file