In other words , this means 92 is not Richardian , contradicting our assumption .
This is only possible if 92 does not have the property designated by the defining expression which it is correlated with .
This means 92 is not Richardian , contradicting our assumption .
This is only possible if 92 does not have the property designated by the defining expression which it is correlated with .