my page of quotes that support the use of formal methods.
