https://bookem.ir/books/941861-Forcing-with-Random-Variables-and-Proof-Complexity