Tagged technical-report