Moving the Goalproof view 3