reverse re in nested.jl