대부분의 함수 f에 대해, 함수 g가 존재하여 f⊞g는 상위 2-o(1)개 층이 AND 게이트로만 구성된 회로로 계산될 수 없다. 이는 상위 제한이 있는 공식에 대한 거의 4log n 깊이 하한을 의미한다.
