Coin Lemmas with Random Variables