A magnitude is a part of a magnitude, the less of the greater, when it measures the greater.
lines 74–74 in main.tex