@misc{indiciae18dd6b493186,
  title = {Transitioning to Proof},
  author = {Diane Resek and Dan Fendel},
  year = {2015},
  url = {https://arxiv.org/abs/1507.03680},
  note = {Source identifier: 1507.03680}
}