Avoiding extra conditions