the possibility of non-linear logic

xen mini 12