TALKDa_best_you_can_abt_everyone - ∀m ∈ People (Owns(m, vault) <-> m = stackpointer)