que es lo mismo que: