Jeremiah Brown has been making contributions into an individual retirement account for his retirement. His contributions are not tax deductible but his earnings accumulate tax free. What type of individual retirement account does he have?