f2p linear logic