- https://github.com/FormalizedFormalLogic/Foundation/pull/807 - https://github.com/FormalizedFormalLogic/Foundation/pull/600 - https://github.com/FormalizedFormalLogic/Foundation/pull/574
EKFoundation#600EMCT4Foundation#574