@misc{indiciae98fc14da4dbc,
  title = {Parametricity, automorphisms of the universe, and excluded middle},
  author = {Auke Bart Booij and Martín Hötzel Escardó and Peter LeFanu Lumsdaine and Michael Shulman},
  year = {2017},
  url = {https://arxiv.org/abs/1701.05617},
  note = {Source identifier: 1701.05617}
}