like in axiom 3 when two segments don't intersect and the fold line lies exactly between them In this case, the segments are parallel, and the fold line sits
the fold line, the (single) result of axiom 3
two lines, the inputs to axiom 3
two segments the visible portion of the input lines
like in axiom 3 when two segments don't intersect and the fold line lies exactly between them In this case, the segments are parallel, and the fold line sits