Contains code for computing formality and other stuffs.