Boolean Prime Ideal Theorem

  • sounds like something I'd be asked for a front-end role.