Apply formatting
Infer nullity