Divide wants constituent because multiply needs total. divide will get constituent unless constituent is fixed on multiply, this will cause total to find the aggregate.
Specify wants mood because generalize needs modality. specify will get mood unless mood is fixed on generalize, this will cause modality to find the z-topic.

Divide cycles as multiply continues
Specify cycles as generalize continues

q1r wants q1s because q1e needs q1o. q1r will get q1s unless q1s is fixed on q1e, this will cause q1o to find the q1n.
q1r wants q1s because q1e needs q1o. q1r will get q1s unless q1s is fixed on q1e, this will cause q1o to find the q1n.

q1r cycles as q1e continues
q1r cycles as q1e continues