Chapter 4. 명시적 전제와 숨은 전제