File Will Not Display In Proof