La instrucción sería: