El cuerpo del procedimiento sería: