Final project (so far...)

I really don’t want to work on this anymore, but we still need to
change the propagation times :(