No, they are claims of leopard/puma, but as I pointed out, the puma is genetically closer to the jaguar than it is to the leopard, which makes sense really seeing as they inhabit the same regions. So, if these cats don't mix in the wild, why would you expect wild leopards and pumas to do the same in the UK?