قلنا: ذلك حلق وإجراء والحلق يقتضي وجوب الإجراء.