many1 in defs