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