GoDownstream works !

The main change is the implementation of GoDownstream and its testing.