You have chosen Euclid, Horsten,L/Pettigrew,R and Euclid.
All three must be different; choose another philosopher.