You have chosen Intensional Logic, Notes on Comments by Fardella and Notes on Comments by Fardella.
All three must be different; choose another text.