Write more report (linear logic part)