With-redefs madness