Learned today that GE Lessing (modern discoverer of Archimedes' Cattle Problem) serendipitously relates to underlying questions about faith, proof, and miracles in my thesis. On the one hand, great! more to read! OTOH, oh dear, more to read….