What role does a known judgment play in this lesson?

Ḥujjah: Deriving a Conclusion from Known Judgments