Assertion: column's digit | /r/AtLocation | unadded
Facets:
Source sentences:
text: No digits (and no columns) have been left unadded, so the algorithm finishes, yielding the following equation as a result: