“The question are there 777 in π is all right because surely there either are 777 in π or there aren't”. Queer use of p ⌵ ~p. Images characteristic for this statement.
     It really means: “The question is all right because there is a method of verifying it although we can't use it.”