some small exercises about ADT