t : * f Dm.