Uh oh, it looks like there's a bit of confusion here... I count a combined 6 log comments between both of Riza's proofs. Do you perhaps have another thread to add in?
Additionally, it looks like Tot's first proofs is only 3 log comments, so a little extra will fix her AC right up.
no subject
Additionally, it looks like Tot's first proofs is only 3 log comments, so a little extra will fix her AC right up.