; 0 , t ) 00,