Formellt sett är detta naturligtvis riktigt .