Title: The definer's manual