D. Fernández-Duque. Goodstein principles of intermediate strength