= B ti ^ S1