Success Semantics: Motivations, Problems, And Solutions