Many-worlds theory