Apply formatting
Infer nullity
Rearrange entries