Catching up on backlog. scshunt wrote:
provided that the
Promotor always spending power no less than 1 less than the
greatest spending power among offices,
"provided that no office's spending power exceeds that of Promotor by more than 1"

