1324.4 마감 기한 제약의 형식적 정의