1276.10 명시적 상태 정의의 장점