What is a variety?