Write about tag- and type-validity