Infer nullity