Replacing some with all can invalidate an inference.Ḥujjah: Deriving a Conclusion from Known Judgments