orbiAlb4/gfx/Strategyforproof.pdf