The exit isn't theoretical. The tools exist.