habryka comments on Finite Factored Sets