User blog comment:P進大好きbot/Cheatsheet on Properties of OCFs/@comment-32697988-20191201105526/@comment-35470197-20191201112154

1. Right. I fixed it now.

2. It is 1 by the definition in the paper of Buchholz.

3. It is not a nest-free expansion in my context.

4. It is a mistake. I fixed it now. Is it correct?

5. It is not a nest-free expansion in my context.