a time to cast away stones, and a time to gather stones