up to Rand Sequence Ex. 6.7