Two straight lines are said to be parallel
when they run endlessly in a space
without ever meeting.
Dolly negates theorems
to express total convergence.