Next: sq, Previous: lm, Up: Miscellaneous Rules
Given a subproof with premise 'P' and conclusion (the LAST sentence) 'Q', one can infer from subproof 'P → Q'.