floor ➜ establish
existence