Definition of "redounds"