final piece of idempotence, thanks to tail