"There are no beginnings, not even to stories. There are only places where you make an entrance into someone else's life and either stay or turn and go away."

Next 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