Notes: backtracing and randomness.