Success semantics: the sequel · Study