floor ➜ establish

assume