Sorry if this is a dumb question but "All toplevels in event/mingle entries and closed logs that comprise of one thread count as one thread" .. does that mean that all top-levels are just one proof, or if I have multiple people tagging on said top-level I can use it for two proofs? Just confused about the wording a bit.

sasageyo: they count as one thread but not one proof. Basically it means you can't use the different subthreads formed from your toplevel as separate proofs, similar to how you can't use threads within your own entry as separate proofs

got it. so just like before. Thanks!

(if anyone threading with Kazuichi not in his top-level could help me finish his AC, I'd be a happy camper)