( Stief ' 9 )?