代序 时程的反证