ES.20 Final Project on PSPACE-hardness of Ghost