which is actually bottom up.
This is the variant we'll be using most, because it is mathematically cleaner.
