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