https://www.afdil-better.com/2021/05/portable-logic-lab.html