<> <> <> <<>> STPServer on Install BridgeSubmit Install TerminalIO Run AlgebraStructuresPackage