Definable/Definition take 1
Definition/Definable take 2