the possibility of non-linear logic

fragment-white-gold