Any reasonable are there, all existence is reasonable.
凡是合理的都是存在的,凡是存在的都是合理的。
Never give up, never surrender.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
"The best stories are the ones that make you feel something, that stay with you long after you've finished reading."