Two Cases of Deduction with Non-referring Descriptions