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