4 ms·In many flavors of logic, not just linear logic.by lidHanteyk 7y agoIn many flavors of logic, not just linear logic.