Linear Logic toybox