Definition of many