logical variation