Roger does marry Dorothy, right? I haven't watched Big O in decades.