It was helpful to me to have both, as details skipped over in one proof were often highlighted or better explained in its corresponding description. For someone whose training was not theoretical computer science, SSS left me with a better understanding most of the time.