s[[[[[[[ert_t_equal("\
