other acceptable names:↵* monad↵* hypothesis↵* box↵* hub (processes called spokes, run by the wheel group)↵* poet↵* x∉∅↵* logOS