Các yếu tố cần thiết thứ ba là một tuyên bố rằng ban đầu đặt ra điều kiện. Tuyên bố này phải luôn luôn được đặt trước điều kiện là đầu tiên đánh giá để đảm bảo thực hiện vòng lặp chính xác lần đầu tiên tình trạng này được đánh giá.
đang được dịch, vui lòng đợi..
