what if roger’s surname was doofenshmirtz