Deria OfIf | vi * t.