"I owe baseball all that I have and much of what I hope to have. Baseball made my entrance to the film industry immeasurably easier than I could have made it alone. To the greatest game in the world I shall be eternally in debt."

Previous Quote

It is, therefore, possible to extend a partially specified interpretation to a complete interpretation, without loss of verifiability... This fact offers the possibility of automatic verification of programs, the programmer merely tagging entrances and one edge in each innermost loop.

— Robert W. Floyd