Introduction; – The Framework; – Existential Strategy for Standard Structures; – The Universal Strategy; – Proof Systems for the Existential Strategy; – Future Research.