@misc{indiciae91db4227a518,
  title = {Proper forcing remastered},
  author = {Boban Velickovic and Giorgio Venturi},
  year = {2013},
  url = {https://arxiv.org/abs/1110.0610},
  note = {Source identifier: 1110.0610}
}