typeinfo printed
has Add
has Exists
