@misc{gratzer-2022-the,
  author = {Daniel Gratzer and Michael Shulman and Jon Sterling},
  title = {The directed plump ordering},
  year = {2022},
  month = {2},
  eprint = {2202.07329},
  archiveprefix = {arXiv}
}