observe-sequence depends on random