[formal.bmp]