Submission of ADTs and Double Counting