Logic with categories done