Dual Definitional Model