"The problem of how to characterise the properties that would trivialise the principle is one of the hardest problems concerning the principle of identity of indiscernibles and one the problems to which least attention has been paid of."