[formal.gif]