On each line, immediately to the right of the line number, appears a statementF of 𝔏, which was entered on that line in accordance with a single rule2. To the right of F appears the justification for F’s having been entered on thatline, consisting of a notation indicating the rule in accordance with which Fwas entered and the antecedent line(s), if any, to which the rule was applied3. To the left of the line number appears the set of premises of F (the statement(s)in the numbered sequence on which F depends), where each premise is citedby the number of the line on which it appears, and where the set of premises ofF is determined by the rule in accordance with which F was entered
Instructions on the columns of proofs bitch