And in other news, Michael "Mike" Wazowski is leaving Monsters Inc. immediately.