The Tensed Theory of Time by William Lane Craig