Let φ, ψ, χ stand for well formed formulas, and let m, n, o stand for available line numbers in a derivation.

Replace φ with:
Replace m with:
Replace ψ with:
Replace n with:
Replace χ with:
Replace o with:

Just Infer - Rules