deducability