Constructing perpendicular lines