We've worked through some "Primary Grade Challenge Math" by Edward Zaccaro with DS4. He can't quite do it independently, but we've had fun working doing it together.