Videos for: Random proofs