Title: The Definer's Manual