Non-linear logic. What do you think girls