Paperman is a Disney animated short.