b'
We discuss briefly the central ideas of linear logic, where by default assumptions must be used exactly once.\\xa0