debería ser traducida a IR