michaelcohen comments on Finite Factored Sets