"'MM.FLM86NPFS.FaceAtFamily' depends on axioms: [propext, Classical.choice, Quot.sound]"
"'MM.FLM86NPFS.honestNegPairingCoeffAtStates_iff_familyFaces' depends on axioms: [propext, Classical.choice, Quot.sound]"
"'MM.FLM86NPFS.FockStep' depends on axioms: [propext, Classical.choice, Quot.sound]"
"'MM.FLM86NPFS.fockStep_imp_oneMode' depends on axioms: [propext, Classical.choice, Quot.sound]"
"'MM.FLM86NPFS.faceAtFamily_lattice' depends on axioms: [propext, Classical.choice, Quot.sound]"
"'MM.FLM86NPFS.honestNegPairingCoeffAtStates_iff_fockStep' depends on axioms: [propext, Classical.choice, Quot.sound]"