@misc{indiciaec0164b253cec,
  title = {A Sane Proof that COLk \textbackslash{}le COL3},
  author = {William Gasarch},
  year = {2016},
  url = {https://arxiv.org/abs/1407.5128},
  note = {Source identifier: 1407.5128}
}