https://filesoo.com/product/4461/set-theory-boolean-valued-models-and-independence-proofs