"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

Objects have always been carried, sold, bartered, stolen, retrieved and lost. People have always given things to other people.

The dead are never far from us. They’re in our hearts and on our minds and in the end all that separates us from them is a single breath, one last puff of air.

My life is my message.

批判理论的任务是揭示扭曲民主意志形成的交往病理。