floor ➜ establish

reduction