嫁が9月に出るらしいと今更気付いたけど、少し微妙ではないかという思いでいっぱいである。

para-Lindelof → meta-lindelof → θ-refinable → sub-meta-Lindelof → weakly sub-meta-Lindelof → ultrapure にT_1が必要かどうか残っているが、2月になったので本業に戻るようなそうでないような。