A verified file should include: