Is it true that Solver Users and Hosts are immortal?