Files
cannorin.net/packages/kripke/utils.ts