Yes, it’s a pity the last term is occluded. We might have solved cat-faces for ever if not for that blunder.