ADD Invariant proof + MOD boggle complexity