FINAL TEX FILE