An N-bridged high-valent diiron–oxo species on a porphyrin platform that can oxidize methane