added an tl;dr to adt