@daedalus there is no robust proof that turning on a computer is safe