a- * t1 * x 8 *.