tags // nonredundant