Mountain Ringlet Erebia epiphron

Despite regularly visiting the Lake District for most of my life it wasn't until 2021 that I made a concerted effort to see this Cumbrian speciality.

Mountain Ringlets Erebia epiphron, Irton Fell (Cumbria, UK), 12th June 2021

I thought this was the first time I'd seen this species, but I'd forgotten I'd previously seen it in the Pyrenees. At least I think I had - the Collins guide shows the Pyrennean form with better-developed ocelli than here, but I can't make them fit anything else better. so I assume this ID is correct. Confirmation (or correction) welcome.

Mountain Ringlets Erebia epiphron, Roncesvalles (Navarre, Spain), 18th June 2009