'Logic provides a lens for analyzing fundamental sources of complexity and classifying problems according to their (algorithmic, representational, learning-theoric, ...) complexity.'