Undoing an earlier commit - philosophical issue #1 captures the essence of a problem