Good policy requires both sound theory and empirical validation.
"Understanding the limits of computation is as important as pushing its boundaries."