I have a question about projective determinancy that I was hoping someone could answer. Is projective determinancy provably consistent with ZFC , or does its consistency require large cardinals to prove?