a " t * S1=1