Linear-Logic Inc.