You have chosen Entity and Identity, Higher-Order Logic and Entity and Identity.
All three must be different; choose another text.