@misc{indiciaec6e529518b8a,
  title = {Functional Pearl: Witness Me -- Constructive Arguments Must Be Guided with Concrete Witness},
  author = {Hiromi Ishii},
  year = {2021},
  url = {https://arxiv.org/abs/2103.11751},
  note = {Source identifier: 2103.11751}
}