i very briefly looked at diagonal fixed point wikipedia articles, i
don’t understand them, but

i think kurt is likely saying that, kind of, because you can describe
proving something as an expression, and you can -  or hrm

but it sounds

Reply via email to