The difference between theory and practice is larger in practice than the difference between theory and practice in theory.