made VPsi0 and SetupWalkers