synonym can't be sub- or super-tag now