Value withdrawal explanations: a theoretical tool for programming environments