Understanding Eternal Truths: A Commentary on William Lane Craig and Sir Roger Penrose