If there were a FoLoWoE formula for “variety” then there were one for “Identity OR Difference”, too, from which one could easily derive one for Identity (by adding “AND there exists x such that xRx), for example, contrary to the fact that there exists no such FoLoWoE formula for Identity.