Linear Logic  by Erosie