Report - Linear logic