Formal issues

//]]>