Inspired by a recent paper due to José Luis García, we revisit the attempt of Daniel Simson construct counterexample pure semisimplicity conjecture. Using compactness, show that existence such would readily follow from very certain (countable set of) hereditary artinian rings finite representation type. The is then proved be equivalent special types embeddings, which call tight, division into s...