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