specs for success combinators