Outcome Logic SAFEOutcome