More linear logic