Por lo tanto, la traducción literal de los ejemplos anteriores es: