Summary: Just a place to do some sample cnx
| 1 | step 1 | [ Because. ] |
| 2 | step 2 | [ Because. ] |
| 3 | step 3 | [ Because. ] |
| 1 | subproof:step 1 | ||
| 1.a | step 1a | [ Because. ] | |
| 1.b | step 1b | [ Because. ] | |
| 1.c | step 1c | [ Because. ] | |
| 1 | subproof:step 1 | ||
| 1.a | step 1a | [ Because. ] | |
| 1.b | step 1b | [ Because. ] | |
| 1.c | step 1c | [ Because. ] | |
| 2 | subproof:step 2 | ||
| 2.a | step 2a | [ Because. ] | |
| 2.b | step 2b | [ Because. ] | |
| 2.c | step 2c | [ Because. ] | |
| 3 | step3 | [really, because] | |
| 1 | subproof:step 1 | ||||
| 1.a | step 1a | [ Because. ] | |||
| 1.b | subproof:step 1b | ||||
| 1.b.i | subproof:Step 1b.i | ||||
| 1.b.i.alpha | in 1b.i.A | [yeehaw] | |||
| 1.b.i.beta | in 1b.i.B | [yeehaw] | |||
| 1.b.ii | Step 1b.ii | [yep] | |||
| 1.c | step 1c | [ Because. ] | |||
| 2 | subproof:step 2 | ||||
| 2.a | step 2a | [ Because. ] | |||
| 2.b | step 2b | [ Because. ] | |||
| 2.c | step 2c | [ Because. ] | |||
| 3 | step3 | [really, because] | |||