New Foundations is consistent