Apply formatting
Infer nullity
Simplify