How does Friedma one interpret NBGC + "power shift axiom" in ZFC + measurable? DoIs Friedman claiming that Con(NF) follows from "there is a measurable cardinal"? --Randall HOolmes