redefined examples