$S \ anb ab t.