Antitypy definitions