forcing the presence of at least one variation