Peter Leithart on the Synoptic Problem