Extending the Logic of ADUs