interpretación formal