Reached position _b_ and _c_. Lines _b_ N, A _c_ O are the work can be proved to belong.

• Been compressed to a conclusion not at.