§8.4 코드는 왜 빠르게 검증할 수 있을까