If A Block Is Moved, Then It Is No Longer Where It Was, And It Is Now Where It Is.

If a block is moved, then it is no longer where it was, and it
is now where it is.
-- Ben Aveling - Planning for conjunction goals - CS Hons 1992