let
fresh pool tau = fresh pool (basename tau) tau