Conditionals and non-constructive reasoning.