Getting by in logic with just a provisional understanding of #SystemF and #SystemT – that’s #SystemD

https://en.wikipedia.org/wiki/System_D