@misc{zhang-2021-elegant,
  author = {Tesla Zhang},
  title = {Elegant elaboration with function invocation},
  year = {2021},
  month = {5},
  eprint = {2105.14840},
  archiveprefix = {arXiv}
}