File:Definable.pdf