--
Theory is when you know everything but nothing works. Practice is when everything works but no one knows why. In our lab, theory and practice are combined: nothing works and no one knows why.
--
This is how mathematicians greet each other in the morning. A: Did you prove any theorems last night? B: No. Just some lemmas.