The Definer's Manual