(Re(Re(Re(Re))))-do