Linear Programming Duality Solutions When does it help us to work with spectrahedral lifts, instead of the spectrahedral itself? Previous Extension Complexity Next Semidefinite Programming