DML Theory