Takanna t → a