Eliminating impossible conditions