“What is now proved was once imagined.”