Title: Definer's Manual