User blog comment:P進大好きbot/Please Help me on study of Pair Sequence System (2-rowed Bashicu Matrix System)/@comment-30754445-20180813155654/@comment-35470197-20180817094044

@PsiCubed2

Anyway, I have never wasted time here. Comments from you and others give hints on how to precisely formulate various notions and to formally prove interesting statements. I love understanding notions and proving statements in a mathematically strictly precise way.