Pleonasm removed.