to vary [ varied ; varied ]