You have chosen Eubulides, Hilbert,D/Ackermann,W and Eubulides.
All three must be different; choose another philosopher.