@misc{indiciae49548807d749,
  title = {Reasoning about constructive concepts},
  author = {Nik Weaver},
  year = {2013},
  url = {https://arxiv.org/abs/1112.6129},
  note = {Source identifier: 1112.6129}
}