Scott Garrabrant comments on Finite Factored Sets: Introduction and Factorizations