More regular ADT