DT Part II "formal syntactic proof" show you how to do calculations in a formal system where you are guided by shapes and never need to think about meaning.

DT第二部分“正式的句法的证据”显示你，在一个形式系统内运算，在那里你被形状指导并且从未需要考虑意思。

youdao

I've never felt the need to differentiate or speak to a specific part of society.

我从未觉得有必要针对社会的某一方面。

youdao

Richard Feldman, who worked with LaPierre at the NRA but later had a falling out and now runs the Independent Firearm Owners Association, says LaPierre's success as a lobbyist came in part from never saying "no" to those he might need.

NPR: NRA's LaPierre: Wonk With Million-Dollar Megaphone