Pushing down complexity