ease 'reduced', it is enough to return the outermost 'Tau'
make documentation show again