Flat extension and ideal projection. (November 2018)