For each member b of the possible behaviour space B of program P, there exists a finite time t before which at least one user u in the total user space U of program P will request b becomes a member of the allowed behaviour space B' ( B' <= B). -- Negri
Came across at http://vimdoc.sourceforge.net/htmldoc/quotes.html