t : t c * t ■ ^.