Some postulates are left to be proved
Add ⊢ˢ the server, its Δ is ⊗-like