the possibility of non-linear logic

where and now