  Now, since we have already seen that every sort of term or expression implies multiplicity as well as unity, it is no surprise that in section four of One First Philosophy al-Kindi goes on to argue that the various sorts of predicate are inapplicable to the true One. He sums up his conclusion as follows (Rashed and Jolivet 1998, 95):