False None True Safe-Inferred