eek, inconsistent ADT examples