Evidence:
The conjecture is true for every pair I've tried,
e.g., for all rigid
for the first
rank
optimal quotients of
and the first
two rank
quotients.
The following ``Density Conjecture'' will not be needed for our application: