Tagged universal-testing-machines