“Magellan at Venus” by DeJong