It then replaces all the primitive propositions ✸1.2 to ✸1.72 with a single primitive proposition framed in terms of the stroke: "If p, q, r are elementary propositions, given p and p|(q|r), we can infer r.
או אז היא מחליפה את כל הטענות הפרמיטיביות ✸1.2 עד ✸1.72 עם טענה פרמיטיבית בודד,  המבוססת על המושגים של קו שפר: "אם p, q, r הן טענות בסיסיות, בהינתן p ו- p|(q|r), אנו יכולים להסיק את r.