`f.glyphOrder` is not required to contain all glyphs in the UFO, so we may end up missing some in the proof (to-do)
f.glyphOrderis not required to contain all glyphs in the UFO, so we may end up missing some in the proof (to-do)