...expressed in terms of drawing operations. Thus, for example, Euclid's famous Proposition 31 of Book I, "Through a given point to draw a straight line parallel to a given straight line," includes in its proof the phrases "be constructed" and "has been drawn," and such is fairly typical....