Variably strict conditional

Summary