Implementing TADs

Implementing some TADs