Forcing with Random Variables and Proof Complexity - Jan Krajíček (2011)