If Forms are best understood as non-composite, self-predicating universals in the tradition of Procl...