@misc{indiciae8d85dfb2e7fc,
  title = {Iterating Semi-proper Forcing using Virtual Models},
  author = {Obrad Kasum and Boban Veličković},
  year = {2023},
  url = {https://arxiv.org/abs/2303.12565},
  note = {Source identifier: 2303.12565}
}