One Deduction