Entonces escribimos