All velvet-finish lipsticks in the Rouge Dior set, Lunar New Year Limited Edition are refillable.
∀x ((Lipstick(x) ∧ In(x, rougeDiorSet) ∧ In(x, lunarNewYearLimitedEdition) ∧ VelvetFinish(x)) → Refillable(x))