What kind of proposition will the proposition be that there can't (or must) be 777 in π.