( r1 v t et a cl t t: