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