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