Title: A formal system for linear space reasoning