You have chosen , Feferman / Feferman and .
All three must be different; choose another philosopher.