as t » =: