Jacob_Hilton comments on AlgZoo: uninterpreted models with fewer than 1,500 parameters