[rendx]

Tor is not a mixnet, since it cannot delay individual packets or messages, which is a requirement for actual "mixing". Tor is onion routing.