es decir ("R"(s), s) = k(s)(s, s).