Batman and Robin

"Holy loop-invariant Batman!"