Yes, it's also very possible that it's set after or before DivDiv. I guess it's more likely too, even though the scenario is very reminiscent of Divdiv.