prove existence of tag