That example does. It uses elements D, D2, R, R2, and E. It’s demonstrating the estimation concept of clarifying the picture using d.
“Where is d between” (in a and b in places but in d[t] primarily) combined with an informed n estimate can be used as a boolean algebra to calculate what the correct value of n must be for c. That’s Modus Tollens.
Think of it like this. You can make the correct factorization element of c an abstraction and use its existence to calculate it by finding it in the gaps using d since at that element d will be d from c.
(e, 1)
(e, n0) big step
(e, n1) little step
(e, n2) big step
(e, n3) little step
Jackpot