definitions manager