Premise: (Interest on IRA savings is not taxed until an individual withdraws it.

Hypothesis: IRA savings are only taxed upon withdrawal.
Relation: entailment