Definition of Redmans