Tag: a comprehensive verification