Going down

Going down is used for:
 * Going down for flat extensions
 * Going down for integral extensions of normal domains