"Variety is more than a means of avoiding boredom, since art is more than an entertainment of the senses."