We are on the verge: Today our program proved Fermat's next-to-last theorem.
A man of genius makes no mistakes. His errors are volitional and are the portals of discovery.