floor ➜ establish

satisfy