Changed "can be redefined" to "redefined as".