Add Lamport quote and engineering tradeoff proverb