Secant line point a "tangent line" and in no points an "exterior line". A "chord" of a circle is the line segment that joins two distinct points of the circle. A chord is therefore contained in a unique secant line and each secant line determines a unique chord. In rigorous modern treatments of plane geometry, results that seem obvious and were assumed (without statement) by Euclid in his treatment, are usually proved. For instance, "Theorem (Elementary Circular Continuity)": If formula_1 is a circle and formula_2 a line that contains a point that is inside formula_1 and a point that is outside of
Circle MRT line the construction of Stage 6, a tender for additional trains for the line was published on 31 March 2017. The Circle line is equipped with Alstom Urbalis 300 Communications-based train control (CBTC) moving block signalling system on the MASTRIA system with Automatic train control (ATC) under Automatic train operation (ATO) GoA 4 (UTO). The subsystems consist of Automatic train protection (ATP) to govern train speed, Iconis Automatic Train Supervision (ATS) to track and schedule trains and Smartlock Computer-based interlocking (CBI) system that prevents incorrect signal and track points to be set. Train Data Management System (TDMS) which concentrate and dispatch