Theorem dreams soon became nightmares.