Linear Syntax P by Andreas Kathol