An Inductive Manual Of The Straight Line by