A proof sequence will be represented in the following way: ?
If the derivation of formula in a line depends on other formulas, then the line numbers of those formulas must be indicated as part of its justification.
If a proof contains premises, then those are justified by the words ‘given’, ‘assumption’ or ‘data’.