Towards a Genuinely Polynomial Algorithm for Linear Programming | Synapse