You have chosen Speussipus, Thoralf Skolem and Speussipus.
All three must be different; choose another philosopher.