Update lean-principles.md