많은 현대 수학 증명은 개념적 주장과 기술적 계산의 조합입니다. 둘 사이에는 일정한 트레이드오프가 있습니다. 즉, 기술적 계산을 줄이려면 개념적 주장을 더 추가할 수 있고, 그 반대도 마찬가지입니다. (다른 것들과 함께, 이러한 현상은 Berkson 역설과 같은 현상으로 부정적 상관관계가 나타나는 것을 초래합니다.)