Success semantics: the sequel