A quotation from the full collection:

Logicians write about formal logic, but they don’t actually use it.

—Leslie Lamport