13 Sep
2023
13 Sep
'23
3:06 a.m.
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