조건식에 사용되는 대입을 보고합니다.