tailcalled comments on Finite Factored Sets