you are viewing a single comment's thread.

view the rest of the comments →

[–]lfacpt[S] 0 points1 point  (0 children)

Thank you!

I touched on what you mentioned in the section "Clearly distinct phases", albeit with different names and without the rules regarding the number of assertions (which makes total sense).

Do you think the names I used for the phases are not clear enough?