미해결 타깃의 전제 조건을 보고합니다.