Quotes from Gil Kalai

As for explaining mathematical phenomena it opens the question: explaining to whom? humans?, other computers?

Counting pairs is the oldest trick in combinatorics... Every time we count pairs, we learn something from it.