Note 45 — *2. IMMEDIATE CONSEQUENCES OF THE PRIMITIVE PROPOSITIONS.
Reading edition
Later on we shall cease to mark the distinction between a premiss and a rule according to which an inference is conducted. It is only in early proofs that this distinction is important.