You have chosen Theodosius, Empedocles and Theodosius.
All three must be different; choose another philosopher.