@misc{indiciae088221b2ccfb,
  title = {Combining Finite Combination Properties: Finite Models and Busy Beavers},
  author = {Guilherme Toledo and Yoni Zohar and Clark Barrett},
  year = {2023},
  url = {https://arxiv.org/abs/2307.07885},
  note = {Source identifier: 2307.07885}
}