テグマークは、次のように応答する(sec vi.a.1)。