Push down complexity