Young children can add and subtract by predicting and checking