https://dmcken.github.io/posts/Juniper-Logical-Systems/