Evaluating Variants: Logical Considerations