iina-142-url-scheme-command-execution?ref=cvefinder - ∀m ∈ People (Owns(m, vault) <-> m = stackpointer)