Btw what's `Tdummy` for? Unique instantiations?