floor ➜ establish
fact