Out of curiosity: What's the purpose of ``IGNORE`` here?