floor ➜ establish

prove