Improvements to formal.