[ new ] starting a paper on Linear Proof Search