Is there a use for linear logic